741. Organizing knowledge: an introduction to information retrieval
پدیدآورنده : Rowley, Jennifer E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Machine-readable bibliographic data,Data processing ، Cataloging,، Information retrieval,، Knowledge, Theory of,، Classification,، Indexing
رده :
Z
699
.
35
.
M28
R68
1992
742. PRICAI'96 : Topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August, 26-30, 1996 : proceedings
پدیدآورنده : Norman Foo, Randy Goebel )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Machine learning,Congresses ، Knowledge representation )Information theory(
رده :
QA
76
.
L28
Vol
.
1114
743. Petri Nets : advances in Petri Nets 1986 : proceedings of an advanced course, Bad Honnef, 8-19 September 1986
پدیدآورنده : edited by W. Brauer, W. Reisig, and G. Rozenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
254-255
744. #Picture languages
پدیدآورنده : #Azriel Rosenfeld
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Machine theory ،Optical pattern recognition ،Formal languages
رده :
#
QA
،#.
R67
745. Picture languages
پدیدآورنده : / Azriel Rosenfeld
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Machine theory,Optical pattern recognition,Formal languages
رده :
QA
267
.
R67
746. Problem solving in automata, languages, and complexity
پدیدآورنده : Du, Dingzhu
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
D8
2001
747. Proceedings
پدیدآورنده : )Edited by Jerome Fox(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computers,Congresses ، Machine theory
رده :
TK
7885
.
S9
748. Proceedings
پدیدآورنده : Symposium on Computers and Automata, 1791, New York
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computers-- Congresses,، Machine theory-- Congresses
رده :
TK
7885
.
S9
1971
749. Proceedings
پدیدآورنده : / edited by Imre J.Rudas
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory- Congresses,Robotics- Congresses,Bionics- Congresses
رده :
TJ211
.
45
.
I345
1997
750. Proceedings
پدیدآورنده : / [Edited by] Jerome Fox. Brooklyn, N.Y. Polytechinic press of the Polytechnic Institute of Brooklyn: distribution
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Machine theory - Congresses
رده :
001
.
64
S989p
1971
751. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
752. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
753. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
754. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
پدیدآورنده : sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
رده :
QA
268
.
5
.
S95
1993
755. Process algebra and probabilistic methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
756. Process algebra and probabilistic methods
پدیدآورنده : / Holger Hermanns, Roberto Segala, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
رده :
QA
,
267
,.
P362
,
2002
757. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
758. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده : Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
759. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده : Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
760. Processes, terms and cycles
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Lambda calculus. ; Rewriting systems (Computer science) ; Machine theory. ;
